TeX Guide

LaTeX is part of most TeX distributions. These tend to be quite large.

Again, LaTeX sources (usually) are plain ASCII text files, so any old text editor should do.

Visual Studio Code has a very robust LaTeX package called LaTeX Workshop.

Emacs comes with quite ok (La)TeX support. There's also AUCTeX.

[g]vim comes with syntax colouring etc for .tex files.

There are also WYSIWYG editors for [La]TeX, eg LyX. Some might think that this is completely missing the point. Your mileage may vary.

This wikibook page provides a helpful primer to writing mathematics in LaTeX. If you need help writing any particular notation in LaTeX, ask on the forums and I'm happy to help. For inference rules, the mathpartir package works well.

If you use multi-letter variable names in math mode, please surround them with a mathit command. Otherwise it will be rendered as the product of every letter in the variable name.

For drawing diagrams within LaTeX itself, I highly recommend the wonderful tikz packages. Satyaki Sikdar provides an excellent guide to drawing automata diagrams with tikz.

To include external diagrams or images in LaTeX documents, consider using the graphicx package. The following is a somewhat minimal example (assuming there's a file dummy.pdf around):

\documentclass{article}
\usepackage{graphicx}
\begin{document}
\includegraphics{dummy.pdf}
\end{document}

Much more can be done, e.g., one could scale the image or overlay LaTeX on top of the diagram. Consult the documentation for the graphicx package for more details.

Please make sure that the images are either vector based or high enough resolution to be readable, without going over the size limit.